<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <title>LCOV - lcov.info.p - core/contracts/misc/src/core/contracts/misc/L2Encoder.sol</title>
  <link rel="stylesheet" type="text/css" href="../../../../../../../gcov.css">
</head>

<body>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="title">LCOV - code coverage report</td></tr>
            <tr><td class="ruler"><img src="../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>

            <tr>
              <td width="100%">
                <table cellpadding=1 border=0 width="100%">
          <tr>
            <td width="10%" class="headerItem">Current view:</td>
            <td width="10%" class="headerValue"><a href="../../../../../../../index.html">top level</a> - <a href="index.html">core/contracts/misc/src/core/contracts/misc</a> - L2Encoder.sol<span style="font-size: 80%;"> (source / <a href="L2Encoder.sol.func-c.html">functions</a>)</span></td>
            <td width="5%"></td>
            <td width="5%"></td>
            <td width="5%" class="headerCovTableHead">Coverage</td>
            <td width="5%" class="headerCovTableHead" title="Covered + Uncovered code">Total</td>
            <td width="5%" class="headerCovTableHead" title="Exercised code only">Hit</td>
          </tr>
          <tr>
            <td class="headerItem">Test:</td>
            <td class="headerValue">lcov.info.p</td>
            <td></td>
            <td class="headerItem">Lines:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">68</td>
            <td class="headerCovTableEntry">68</td>
          </tr>
          <tr>
            <td class="headerItem">Test Date:</td>
            <td class="headerValue">2024-04-09 14:12:28</td>
            <td></td>
            <td class="headerItem">Functions:</td>
            <td class="headerCovTableEntryHi">100.0&nbsp;%</td>
            <td class="headerCovTableEntry">11</td>
            <td class="headerCovTableEntry">11</td>
          </tr>
          <tr>
            <td></td>
            <td></td>
            <td></td>
            <td class="headerItem">Branches:</td>
            <td class="headerCovTableEntryHi">-</td>
            <td class="headerCovTableEntry">0</td>
            <td class="headerCovTableEntry">0</td>
          </tr>
                  <tr><td><img src="../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
                </table>
              </td>
            </tr>

            <tr><td class="ruler"><img src="../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
          </table>

          <table cellpadding=0 cellspacing=0 border=0>
            <tr>
              <td><br></td>
            </tr>
            <tr>
              <td>
<pre class="sourceHeading">             Branch data     Line data    Source code</pre>
<pre class="source">
<span id="L1"><span class="lineNum">       1</span>                 :             : // SPDX-License-Identifier: MIT</span>
<span id="L2"><span class="lineNum">       2</span>                 :             : pragma solidity ^0.8.10;</span>
<span id="L3"><span class="lineNum">       3</span>                 :             : </span>
<span id="L4"><span class="lineNum">       4</span>                 :             : import {SafeCast} from '../dependencies/openzeppelin/contracts/SafeCast.sol';</span>
<span id="L5"><span class="lineNum">       5</span>                 :             : import {IPool} from '../interfaces/IPool.sol';</span>
<span id="L6"><span class="lineNum">       6</span>                 :             : import {DataTypes} from '../protocol/libraries/types/DataTypes.sol';</span>
<span id="L7"><span class="lineNum">       7</span>                 :             : </span>
<span id="L8"><span class="lineNum">       8</span>                 :             : /**</span>
<span id="L9"><span class="lineNum">       9</span>                 :             :  * @title L2Encoder</span>
<span id="L10"><span class="lineNum">      10</span>                 :             :  * @author Aave</span>
<span id="L11"><span class="lineNum">      11</span>                 :             :  * @notice Helper contract to encode calldata, used to optimize calldata size in L2Pool for transaction cost reduction</span>
<span id="L12"><span class="lineNum">      12</span>                 :             :  * only indented to help generate calldata for uses/frontends.</span>
<span id="L13"><span class="lineNum">      13</span>                 :             :  */</span>
<span id="L14"><span class="lineNum">      14</span>                 :             : contract L2Encoder {</span>
<span id="L15"><span class="lineNum">      15</span>                 :             :   using SafeCast for uint256;</span>
<span id="L16"><span class="lineNum">      16</span>                 :             :   IPool public immutable POOL;</span>
<span id="L17"><span class="lineNum">      17</span>                 :             : </span>
<span id="L18"><span class="lineNum">      18</span>                 :             :   /**</span>
<span id="L19"><span class="lineNum">      19</span>                 :             :    * @dev Constructor.</span>
<span id="L20"><span class="lineNum">      20</span>                 :             :    * @param pool The address of the Pool contract</span>
<span id="L21"><span class="lineNum">      21</span>                 :             :    */</span>
<span id="L22"><span class="lineNum">      22</span>                 :             :   constructor(IPool pool) {</span>
<span id="L23"><span class="lineNum">      23</span>                 :             :     POOL = pool;</span>
<span id="L24"><span class="lineNum">      24</span>                 :             :   }</span>
<span id="L25"><span class="lineNum">      25</span>                 :             : </span>
<span id="L26"><span class="lineNum">      26</span>                 :             :   /**</span>
<span id="L27"><span class="lineNum">      27</span>                 :             :    * @notice Encodes supply parameters from standard input to compact representation of 1 bytes32</span>
<span id="L28"><span class="lineNum">      28</span>                 :             :    * @dev Without an onBehalfOf parameter as the compact calls to L2Pool will use msg.sender as onBehalfOf</span>
<span id="L29"><span class="lineNum">      29</span>                 :             :    * @param asset The address of the underlying asset to supply</span>
<span id="L30"><span class="lineNum">      30</span>                 :             :    * @param amount The amount to be supplied</span>
<span id="L31"><span class="lineNum">      31</span>                 :             :    * @param referralCode referralCode Code used to register the integrator originating the operation, for potential rewards.</span>
<span id="L32"><span class="lineNum">      32</span>                 :             :    *   0 if the action is executed directly by the user, without any middle-man</span>
<span id="L33"><span class="lineNum">      33</span>                 :             :    * @return compact representation of supply parameters</span>
<span id="L34"><span class="lineNum">      34</span>                 :             :    */</span>
<span id="L35"><span class="lineNum">      35</span>                 :<span class="tlaGNC tlaBgGNC">           7 :   function encodeSupplyParams(</span></span>
<span id="L36"><span class="lineNum">      36</span>                 :             :     address asset,</span>
<span id="L37"><span class="lineNum">      37</span>                 :             :     uint256 amount,</span>
<span id="L38"><span class="lineNum">      38</span>                 :             :     uint16 referralCode</span>
<span id="L39"><span class="lineNum">      39</span>                 :             :   ) external view returns (bytes32) {</span>
<span id="L40"><span class="lineNum">      40</span>                 :<span class="tlaGNC">          21 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L41"><span class="lineNum">      41</span>                 :             : </span>
<span id="L42"><span class="lineNum">      42</span>                 :<span class="tlaGNC">          14 :     uint16 assetId = data.id;</span></span>
<span id="L43"><span class="lineNum">      43</span>                 :<span class="tlaGNC">          21 :     uint128 shortenedAmount = amount.toUint128();</span></span>
<span id="L44"><span class="lineNum">      44</span>                 :<span class="tlaGNC">          14 :     bytes32 res;</span></span>
<span id="L45"><span class="lineNum">      45</span>                 :             : </span>
<span id="L46"><span class="lineNum">      46</span>                 :             :     assembly {</span>
<span id="L47"><span class="lineNum">      47</span>                 :<span class="tlaGNC">          14 :       res := add(assetId, add(shl(16, shortenedAmount), shl(144, referralCode)))</span></span>
<span id="L48"><span class="lineNum">      48</span>                 :             :     }</span>
<span id="L49"><span class="lineNum">      49</span>                 :<span class="tlaGNC">          14 :     return res;</span></span>
<span id="L50"><span class="lineNum">      50</span>                 :             :   }</span>
<span id="L51"><span class="lineNum">      51</span>                 :             : </span>
<span id="L52"><span class="lineNum">      52</span>                 :             :   /**</span>
<span id="L53"><span class="lineNum">      53</span>                 :             :    * @notice Encodes supplyWithPermit parameters from standard input to compact representation of 3 bytes32</span>
<span id="L54"><span class="lineNum">      54</span>                 :             :    * @dev Without an onBehalfOf parameter as the compact calls to L2Pool will use msg.sender as onBehalfOf</span>
<span id="L55"><span class="lineNum">      55</span>                 :             :    * @param asset The address of the underlying asset to supply</span>
<span id="L56"><span class="lineNum">      56</span>                 :             :    * @param amount The amount to be supplied</span>
<span id="L57"><span class="lineNum">      57</span>                 :             :    * @param referralCode referralCode Code used to register the integrator originating the operation, for potential rewards.</span>
<span id="L58"><span class="lineNum">      58</span>                 :             :    *   0 if the action is executed directly by the user, without any middle-man</span>
<span id="L59"><span class="lineNum">      59</span>                 :             :    * @param deadline The deadline timestamp that the permit is valid</span>
<span id="L60"><span class="lineNum">      60</span>                 :             :    * @param permitV The V parameter of ERC712 permit sig</span>
<span id="L61"><span class="lineNum">      61</span>                 :             :    * @param permitR The R parameter of ERC712 permit sig</span>
<span id="L62"><span class="lineNum">      62</span>                 :             :    * @param permitS The S parameter of ERC712 permit sig</span>
<span id="L63"><span class="lineNum">      63</span>                 :             :    * @return compact representation of supplyWithPermit parameters</span>
<span id="L64"><span class="lineNum">      64</span>                 :             :    * @return The R parameter of ERC712 permit sig</span>
<span id="L65"><span class="lineNum">      65</span>                 :             :    * @return The S parameter of ERC712 permit sig</span>
<span id="L66"><span class="lineNum">      66</span>                 :             :    */</span>
<span id="L67"><span class="lineNum">      67</span>                 :<span class="tlaGNC">        1000 :   function encodeSupplyWithPermitParams(</span></span>
<span id="L68"><span class="lineNum">      68</span>                 :             :     address asset,</span>
<span id="L69"><span class="lineNum">      69</span>                 :             :     uint256 amount,</span>
<span id="L70"><span class="lineNum">      70</span>                 :             :     uint16 referralCode,</span>
<span id="L71"><span class="lineNum">      71</span>                 :             :     uint256 deadline,</span>
<span id="L72"><span class="lineNum">      72</span>                 :             :     uint8 permitV,</span>
<span id="L73"><span class="lineNum">      73</span>                 :             :     bytes32 permitR,</span>
<span id="L74"><span class="lineNum">      74</span>                 :             :     bytes32 permitS</span>
<span id="L75"><span class="lineNum">      75</span>                 :             :   ) external view returns (bytes32, bytes32, bytes32) {</span>
<span id="L76"><span class="lineNum">      76</span>                 :<span class="tlaGNC">        3000 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L77"><span class="lineNum">      77</span>                 :             : </span>
<span id="L78"><span class="lineNum">      78</span>                 :<span class="tlaGNC">        2000 :     uint16 assetId = data.id;</span></span>
<span id="L79"><span class="lineNum">      79</span>                 :<span class="tlaGNC">        3000 :     uint128 shortenedAmount = amount.toUint128();</span></span>
<span id="L80"><span class="lineNum">      80</span>                 :<span class="tlaGNC">        3000 :     uint32 shortenedDeadline = deadline.toUint32();</span></span>
<span id="L81"><span class="lineNum">      81</span>                 :             : </span>
<span id="L82"><span class="lineNum">      82</span>                 :<span class="tlaGNC">        2000 :     bytes32 res;</span></span>
<span id="L83"><span class="lineNum">      83</span>                 :             :     assembly {</span>
<span id="L84"><span class="lineNum">      84</span>                 :<span class="tlaGNC">        2000 :       res := add(</span></span>
<span id="L85"><span class="lineNum">      85</span>                 :             :         assetId,</span>
<span id="L86"><span class="lineNum">      86</span>                 :             :         add(</span>
<span id="L87"><span class="lineNum">      87</span>                 :             :           shl(16, shortenedAmount),</span>
<span id="L88"><span class="lineNum">      88</span>                 :             :           add(shl(144, referralCode), add(shl(160, shortenedDeadline), shl(192, permitV)))</span>
<span id="L89"><span class="lineNum">      89</span>                 :             :         )</span>
<span id="L90"><span class="lineNum">      90</span>                 :             :       )</span>
<span id="L91"><span class="lineNum">      91</span>                 :             :     }</span>
<span id="L92"><span class="lineNum">      92</span>                 :             : </span>
<span id="L93"><span class="lineNum">      93</span>                 :<span class="tlaGNC">        2000 :     return (res, permitR, permitS);</span></span>
<span id="L94"><span class="lineNum">      94</span>                 :             :   }</span>
<span id="L95"><span class="lineNum">      95</span>                 :             : </span>
<span id="L96"><span class="lineNum">      96</span>                 :             :   /**</span>
<span id="L97"><span class="lineNum">      97</span>                 :             :    * @notice Encodes withdraw parameters from standard input to compact representation of 1 bytes32</span>
<span id="L98"><span class="lineNum">      98</span>                 :             :    * @dev Without a to parameter as the compact calls to L2Pool will use msg.sender as to</span>
<span id="L99"><span class="lineNum">      99</span>                 :             :    * @param asset The address of the underlying asset to withdraw</span>
<span id="L100"><span class="lineNum">     100</span>                 :             :    * @param amount The underlying amount to be withdrawn</span>
<span id="L101"><span class="lineNum">     101</span>                 :             :    * @return compact representation of withdraw parameters</span>
<span id="L102"><span class="lineNum">     102</span>                 :             :    */</span>
<span id="L103"><span class="lineNum">     103</span>                 :<span class="tlaGNC">           2 :   function encodeWithdrawParams(address asset, uint256 amount) external view returns (bytes32) {</span></span>
<span id="L104"><span class="lineNum">     104</span>                 :<span class="tlaGNC">           6 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L105"><span class="lineNum">     105</span>                 :             : </span>
<span id="L106"><span class="lineNum">     106</span>                 :<span class="tlaGNC">           4 :     uint16 assetId = data.id;</span></span>
<span id="L107"><span class="lineNum">     107</span>                 :<span class="tlaGNC">           6 :     uint128 shortenedAmount = amount == type(uint256).max ? type(uint128).max : amount.toUint128();</span></span>
<span id="L108"><span class="lineNum">     108</span>                 :             : </span>
<span id="L109"><span class="lineNum">     109</span>                 :<span class="tlaGNC">           4 :     bytes32 res;</span></span>
<span id="L110"><span class="lineNum">     110</span>                 :             :     assembly {</span>
<span id="L111"><span class="lineNum">     111</span>                 :<span class="tlaGNC">           4 :       res := add(assetId, shl(16, shortenedAmount))</span></span>
<span id="L112"><span class="lineNum">     112</span>                 :             :     }</span>
<span id="L113"><span class="lineNum">     113</span>                 :<span class="tlaGNC">           4 :     return res;</span></span>
<span id="L114"><span class="lineNum">     114</span>                 :             :   }</span>
<span id="L115"><span class="lineNum">     115</span>                 :             : </span>
<span id="L116"><span class="lineNum">     116</span>                 :             :   /**</span>
<span id="L117"><span class="lineNum">     117</span>                 :             :    * @notice Encodes borrow parameters from standard input to compact representation of 1 bytes32</span>
<span id="L118"><span class="lineNum">     118</span>                 :             :    * @dev Without an onBehalfOf parameter as the compact calls to L2Pool will use msg.sender as onBehalfOf</span>
<span id="L119"><span class="lineNum">     119</span>                 :             :    * @param asset The address of the underlying asset to borrow</span>
<span id="L120"><span class="lineNum">     120</span>                 :             :    * @param amount The amount to be borrowed</span>
<span id="L121"><span class="lineNum">     121</span>                 :             :    * @param interestRateMode The interest rate mode at which the user wants to borrow: 1 for Stable, 2 for Variable</span>
<span id="L122"><span class="lineNum">     122</span>                 :             :    * @param referralCode The code used to register the integrator originating the operation, for potential rewards.</span>
<span id="L123"><span class="lineNum">     123</span>                 :             :    *   0 if the action is executed directly by the user, without any middle-man</span>
<span id="L124"><span class="lineNum">     124</span>                 :             :    * @return compact representation of withdraw parameters</span>
<span id="L125"><span class="lineNum">     125</span>                 :             :    */</span>
<span id="L126"><span class="lineNum">     126</span>                 :<span class="tlaGNC">           3 :   function encodeBorrowParams(</span></span>
<span id="L127"><span class="lineNum">     127</span>                 :             :     address asset,</span>
<span id="L128"><span class="lineNum">     128</span>                 :             :     uint256 amount,</span>
<span id="L129"><span class="lineNum">     129</span>                 :             :     uint256 interestRateMode,</span>
<span id="L130"><span class="lineNum">     130</span>                 :             :     uint16 referralCode</span>
<span id="L131"><span class="lineNum">     131</span>                 :             :   ) external view returns (bytes32) {</span>
<span id="L132"><span class="lineNum">     132</span>                 :<span class="tlaGNC">           9 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L133"><span class="lineNum">     133</span>                 :             : </span>
<span id="L134"><span class="lineNum">     134</span>                 :<span class="tlaGNC">           6 :     uint16 assetId = data.id;</span></span>
<span id="L135"><span class="lineNum">     135</span>                 :<span class="tlaGNC">           9 :     uint128 shortenedAmount = amount.toUint128();</span></span>
<span id="L136"><span class="lineNum">     136</span>                 :<span class="tlaGNC">           9 :     uint8 shortenedInterestRateMode = interestRateMode.toUint8();</span></span>
<span id="L137"><span class="lineNum">     137</span>                 :<span class="tlaGNC">           6 :     bytes32 res;</span></span>
<span id="L138"><span class="lineNum">     138</span>                 :             :     assembly {</span>
<span id="L139"><span class="lineNum">     139</span>                 :<span class="tlaGNC">           6 :       res := add(</span></span>
<span id="L140"><span class="lineNum">     140</span>                 :             :         assetId,</span>
<span id="L141"><span class="lineNum">     141</span>                 :             :         add(</span>
<span id="L142"><span class="lineNum">     142</span>                 :             :           shl(16, shortenedAmount),</span>
<span id="L143"><span class="lineNum">     143</span>                 :             :           add(shl(144, shortenedInterestRateMode), shl(152, referralCode))</span>
<span id="L144"><span class="lineNum">     144</span>                 :             :         )</span>
<span id="L145"><span class="lineNum">     145</span>                 :             :       )</span>
<span id="L146"><span class="lineNum">     146</span>                 :             :     }</span>
<span id="L147"><span class="lineNum">     147</span>                 :<span class="tlaGNC">           6 :     return res;</span></span>
<span id="L148"><span class="lineNum">     148</span>                 :             :   }</span>
<span id="L149"><span class="lineNum">     149</span>                 :             : </span>
<span id="L150"><span class="lineNum">     150</span>                 :             :   /**</span>
<span id="L151"><span class="lineNum">     151</span>                 :             :    * @notice Encodes repay parameters from standard input to compact representation of 1 bytes32</span>
<span id="L152"><span class="lineNum">     152</span>                 :             :    * @dev Without an onBehalfOf parameter as the compact calls to L2Pool will use msg.sender as onBehalfOf</span>
<span id="L153"><span class="lineNum">     153</span>                 :             :    * @param asset The address of the borrowed underlying asset previously borrowed</span>
<span id="L154"><span class="lineNum">     154</span>                 :             :    * @param amount The amount to repay</span>
<span id="L155"><span class="lineNum">     155</span>                 :             :    * - Send the value type(uint256).max in order to repay the whole debt for `asset` on the specific `interestRateMode`</span>
<span id="L156"><span class="lineNum">     156</span>                 :             :    * @param interestRateMode The interest rate mode at of the debt the user wants to repay: 1 for Stable, 2 for Variable</span>
<span id="L157"><span class="lineNum">     157</span>                 :             :    * @return compact representation of repay parameters</span>
<span id="L158"><span class="lineNum">     158</span>                 :             :    */</span>
<span id="L159"><span class="lineNum">     159</span>                 :<span class="tlaGNC">           1 :   function encodeRepayParams(</span></span>
<span id="L160"><span class="lineNum">     160</span>                 :             :     address asset,</span>
<span id="L161"><span class="lineNum">     161</span>                 :             :     uint256 amount,</span>
<span id="L162"><span class="lineNum">     162</span>                 :             :     uint256 interestRateMode</span>
<span id="L163"><span class="lineNum">     163</span>                 :             :   ) public view returns (bytes32) {</span>
<span id="L164"><span class="lineNum">     164</span>                 :<span class="tlaGNC">           6 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L165"><span class="lineNum">     165</span>                 :             : </span>
<span id="L166"><span class="lineNum">     166</span>                 :<span class="tlaGNC">           4 :     uint16 assetId = data.id;</span></span>
<span id="L167"><span class="lineNum">     167</span>                 :<span class="tlaGNC">           6 :     uint128 shortenedAmount = amount == type(uint256).max ? type(uint128).max : amount.toUint128();</span></span>
<span id="L168"><span class="lineNum">     168</span>                 :<span class="tlaGNC">           6 :     uint8 shortenedInterestRateMode = interestRateMode.toUint8();</span></span>
<span id="L169"><span class="lineNum">     169</span>                 :             : </span>
<span id="L170"><span class="lineNum">     170</span>                 :<span class="tlaGNC">           4 :     bytes32 res;</span></span>
<span id="L171"><span class="lineNum">     171</span>                 :             :     assembly {</span>
<span id="L172"><span class="lineNum">     172</span>                 :<span class="tlaGNC">           4 :       res := add(assetId, add(shl(16, shortenedAmount), shl(144, shortenedInterestRateMode)))</span></span>
<span id="L173"><span class="lineNum">     173</span>                 :             :     }</span>
<span id="L174"><span class="lineNum">     174</span>                 :<span class="tlaGNC">           4 :     return res;</span></span>
<span id="L175"><span class="lineNum">     175</span>                 :             :   }</span>
<span id="L176"><span class="lineNum">     176</span>                 :             : </span>
<span id="L177"><span class="lineNum">     177</span>                 :             :   /**</span>
<span id="L178"><span class="lineNum">     178</span>                 :             :    * @notice Encodes repayWithPermit parameters from standard input to compact representation of 3 bytes32</span>
<span id="L179"><span class="lineNum">     179</span>                 :             :    * @dev Without an onBehalfOf parameter as the compact calls to L2Pool will use msg.sender as onBehalfOf</span>
<span id="L180"><span class="lineNum">     180</span>                 :             :    * @param asset The address of the borrowed underlying asset previously borrowed</span>
<span id="L181"><span class="lineNum">     181</span>                 :             :    * @param amount The amount to repay</span>
<span id="L182"><span class="lineNum">     182</span>                 :             :    * - Send the value type(uint256).max in order to repay the whole debt for `asset` on the specific `debtMode`</span>
<span id="L183"><span class="lineNum">     183</span>                 :             :    * @param interestRateMode The interest rate mode at of the debt the user wants to repay: 1 for Stable, 2 for Variable</span>
<span id="L184"><span class="lineNum">     184</span>                 :             :    * @param deadline The deadline timestamp that the permit is valid</span>
<span id="L185"><span class="lineNum">     185</span>                 :             :    * @param permitV The V parameter of ERC712 permit sig</span>
<span id="L186"><span class="lineNum">     186</span>                 :             :    * @param permitR The R parameter of ERC712 permit sig</span>
<span id="L187"><span class="lineNum">     187</span>                 :             :    * @param permitS The S parameter of ERC712 permit sig</span>
<span id="L188"><span class="lineNum">     188</span>                 :             :    * @return compact representation of repayWithPermit parameters</span>
<span id="L189"><span class="lineNum">     189</span>                 :             :    * @return The R parameter of ERC712 permit sig</span>
<span id="L190"><span class="lineNum">     190</span>                 :             :    * @return The S parameter of ERC712 permit sig</span>
<span id="L191"><span class="lineNum">     191</span>                 :             :    */</span>
<span id="L192"><span class="lineNum">     192</span>                 :<span class="tlaGNC">        1000 :   function encodeRepayWithPermitParams(</span></span>
<span id="L193"><span class="lineNum">     193</span>                 :             :     address asset,</span>
<span id="L194"><span class="lineNum">     194</span>                 :             :     uint256 amount,</span>
<span id="L195"><span class="lineNum">     195</span>                 :             :     uint256 interestRateMode,</span>
<span id="L196"><span class="lineNum">     196</span>                 :             :     uint256 deadline,</span>
<span id="L197"><span class="lineNum">     197</span>                 :             :     uint8 permitV,</span>
<span id="L198"><span class="lineNum">     198</span>                 :             :     bytes32 permitR,</span>
<span id="L199"><span class="lineNum">     199</span>                 :             :     bytes32 permitS</span>
<span id="L200"><span class="lineNum">     200</span>                 :             :   ) external view returns (bytes32, bytes32, bytes32) {</span>
<span id="L201"><span class="lineNum">     201</span>                 :<span class="tlaGNC">        3000 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L202"><span class="lineNum">     202</span>                 :             : </span>
<span id="L203"><span class="lineNum">     203</span>                 :<span class="tlaGNC">        2000 :     uint16 assetId = data.id;</span></span>
<span id="L204"><span class="lineNum">     204</span>                 :<span class="tlaGNC">        3000 :     uint128 shortenedAmount = amount == type(uint256).max ? type(uint128).max : amount.toUint128();</span></span>
<span id="L205"><span class="lineNum">     205</span>                 :<span class="tlaGNC">        3000 :     uint8 shortenedInterestRateMode = interestRateMode.toUint8();</span></span>
<span id="L206"><span class="lineNum">     206</span>                 :<span class="tlaGNC">        3000 :     uint32 shortenedDeadline = deadline.toUint32();</span></span>
<span id="L207"><span class="lineNum">     207</span>                 :             : </span>
<span id="L208"><span class="lineNum">     208</span>                 :<span class="tlaGNC">        2000 :     bytes32 res;</span></span>
<span id="L209"><span class="lineNum">     209</span>                 :             :     assembly {</span>
<span id="L210"><span class="lineNum">     210</span>                 :<span class="tlaGNC">        2000 :       res := add(</span></span>
<span id="L211"><span class="lineNum">     211</span>                 :             :         assetId,</span>
<span id="L212"><span class="lineNum">     212</span>                 :             :         add(</span>
<span id="L213"><span class="lineNum">     213</span>                 :             :           shl(16, shortenedAmount),</span>
<span id="L214"><span class="lineNum">     214</span>                 :             :           add(</span>
<span id="L215"><span class="lineNum">     215</span>                 :             :             shl(144, shortenedInterestRateMode),</span>
<span id="L216"><span class="lineNum">     216</span>                 :             :             add(shl(152, shortenedDeadline), shl(184, permitV))</span>
<span id="L217"><span class="lineNum">     217</span>                 :             :           )</span>
<span id="L218"><span class="lineNum">     218</span>                 :             :         )</span>
<span id="L219"><span class="lineNum">     219</span>                 :             :       )</span>
<span id="L220"><span class="lineNum">     220</span>                 :             :     }</span>
<span id="L221"><span class="lineNum">     221</span>                 :<span class="tlaGNC">        2000 :     return (res, permitR, permitS);</span></span>
<span id="L222"><span class="lineNum">     222</span>                 :             :   }</span>
<span id="L223"><span class="lineNum">     223</span>                 :             : </span>
<span id="L224"><span class="lineNum">     224</span>                 :             :   /**</span>
<span id="L225"><span class="lineNum">     225</span>                 :             :    * @notice Encodes repay with aToken parameters from standard input to compact representation of 1 bytes32</span>
<span id="L226"><span class="lineNum">     226</span>                 :             :    * @param asset The address of the borrowed underlying asset previously borrowed</span>
<span id="L227"><span class="lineNum">     227</span>                 :             :    * @param amount The amount to repay</span>
<span id="L228"><span class="lineNum">     228</span>                 :             :    * - Send the value type(uint256).max in order to repay the whole debt for `asset` on the specific `debtMode`</span>
<span id="L229"><span class="lineNum">     229</span>                 :             :    * @param interestRateMode The interest rate mode at of the debt the user wants to repay: 1 for Stable, 2 for Variable</span>
<span id="L230"><span class="lineNum">     230</span>                 :             :    * @return compact representation of repay with aToken parameters</span>
<span id="L231"><span class="lineNum">     231</span>                 :             :    */</span>
<span id="L232"><span class="lineNum">     232</span>                 :<span class="tlaGNC">           1 :   function encodeRepayWithATokensParams(</span></span>
<span id="L233"><span class="lineNum">     233</span>                 :             :     address asset,</span>
<span id="L234"><span class="lineNum">     234</span>                 :             :     uint256 amount,</span>
<span id="L235"><span class="lineNum">     235</span>                 :             :     uint256 interestRateMode</span>
<span id="L236"><span class="lineNum">     236</span>                 :             :   ) external view returns (bytes32) {</span>
<span id="L237"><span class="lineNum">     237</span>                 :<span class="tlaGNC">           3 :     return encodeRepayParams(asset, amount, interestRateMode);</span></span>
<span id="L238"><span class="lineNum">     238</span>                 :             :   }</span>
<span id="L239"><span class="lineNum">     239</span>                 :             : </span>
<span id="L240"><span class="lineNum">     240</span>                 :             :   /**</span>
<span id="L241"><span class="lineNum">     241</span>                 :             :    * @notice Encodes swap borrow rate mode parameters from standard input to compact representation of 1 bytes32</span>
<span id="L242"><span class="lineNum">     242</span>                 :             :    * @param asset The address of the underlying asset borrowed</span>
<span id="L243"><span class="lineNum">     243</span>                 :             :    * @param interestRateMode The current interest rate mode of the position being swapped: 1 for Stable, 2 for Variable</span>
<span id="L244"><span class="lineNum">     244</span>                 :             :    * @return compact representation of swap borrow rate mode parameters</span>
<span id="L245"><span class="lineNum">     245</span>                 :             :    */</span>
<span id="L246"><span class="lineNum">     246</span>                 :<span class="tlaGNC">           1 :   function encodeSwapBorrowRateMode(</span></span>
<span id="L247"><span class="lineNum">     247</span>                 :             :     address asset,</span>
<span id="L248"><span class="lineNum">     248</span>                 :             :     uint256 interestRateMode</span>
<span id="L249"><span class="lineNum">     249</span>                 :             :   ) external view returns (bytes32) {</span>
<span id="L250"><span class="lineNum">     250</span>                 :<span class="tlaGNC">           3 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L251"><span class="lineNum">     251</span>                 :<span class="tlaGNC">           2 :     uint16 assetId = data.id;</span></span>
<span id="L252"><span class="lineNum">     252</span>                 :<span class="tlaGNC">           3 :     uint8 shortenedInterestRateMode = interestRateMode.toUint8();</span></span>
<span id="L253"><span class="lineNum">     253</span>                 :<span class="tlaGNC">           2 :     bytes32 res;</span></span>
<span id="L254"><span class="lineNum">     254</span>                 :             :     assembly {</span>
<span id="L255"><span class="lineNum">     255</span>                 :<span class="tlaGNC">           2 :       res := add(assetId, shl(16, shortenedInterestRateMode))</span></span>
<span id="L256"><span class="lineNum">     256</span>                 :             :     }</span>
<span id="L257"><span class="lineNum">     257</span>                 :<span class="tlaGNC">           2 :     return res;</span></span>
<span id="L258"><span class="lineNum">     258</span>                 :             :   }</span>
<span id="L259"><span class="lineNum">     259</span>                 :             : </span>
<span id="L260"><span class="lineNum">     260</span>                 :             :   /**</span>
<span id="L261"><span class="lineNum">     261</span>                 :             :    * @notice Encodes rebalance stable borrow rate parameters from standard input to compact representation of 1 bytes32</span>
<span id="L262"><span class="lineNum">     262</span>                 :             :    * @param asset The address of the underlying asset borrowed</span>
<span id="L263"><span class="lineNum">     263</span>                 :             :    * @param user The address of the user to be rebalanced</span>
<span id="L264"><span class="lineNum">     264</span>                 :             :    * @return compact representation of rebalance stable borrow rate parameters</span>
<span id="L265"><span class="lineNum">     265</span>                 :             :    */</span>
<span id="L266"><span class="lineNum">     266</span>                 :<span class="tlaGNC">           1 :   function encodeRebalanceStableBorrowRate(</span></span>
<span id="L267"><span class="lineNum">     267</span>                 :             :     address asset,</span>
<span id="L268"><span class="lineNum">     268</span>                 :             :     address user</span>
<span id="L269"><span class="lineNum">     269</span>                 :             :   ) external view returns (bytes32) {</span>
<span id="L270"><span class="lineNum">     270</span>                 :<span class="tlaGNC">           3 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L271"><span class="lineNum">     271</span>                 :<span class="tlaGNC">           2 :     uint16 assetId = data.id;</span></span>
<span id="L272"><span class="lineNum">     272</span>                 :             : </span>
<span id="L273"><span class="lineNum">     273</span>                 :<span class="tlaGNC">           2 :     bytes32 res;</span></span>
<span id="L274"><span class="lineNum">     274</span>                 :             :     assembly {</span>
<span id="L275"><span class="lineNum">     275</span>                 :<span class="tlaGNC">           2 :       res := add(assetId, shl(16, user))</span></span>
<span id="L276"><span class="lineNum">     276</span>                 :             :     }</span>
<span id="L277"><span class="lineNum">     277</span>                 :<span class="tlaGNC">           2 :     return res;</span></span>
<span id="L278"><span class="lineNum">     278</span>                 :             :   }</span>
<span id="L279"><span class="lineNum">     279</span>                 :             : </span>
<span id="L280"><span class="lineNum">     280</span>                 :             :   /**</span>
<span id="L281"><span class="lineNum">     281</span>                 :             :    * @notice Encodes set user use reserve as collateral parameters from standard input to compact representation of 1 bytes32</span>
<span id="L282"><span class="lineNum">     282</span>                 :             :    * @param asset The address of the underlying asset borrowed</span>
<span id="L283"><span class="lineNum">     283</span>                 :             :    * @param useAsCollateral True if the user wants to use the supply as collateral, false otherwise</span>
<span id="L284"><span class="lineNum">     284</span>                 :             :    * @return compact representation of set user use reserve as collateral parameters</span>
<span id="L285"><span class="lineNum">     285</span>                 :             :    */</span>
<span id="L286"><span class="lineNum">     286</span>                 :<span class="tlaGNC">           1 :   function encodeSetUserUseReserveAsCollateral(</span></span>
<span id="L287"><span class="lineNum">     287</span>                 :             :     address asset,</span>
<span id="L288"><span class="lineNum">     288</span>                 :             :     bool useAsCollateral</span>
<span id="L289"><span class="lineNum">     289</span>                 :             :   ) external view returns (bytes32) {</span>
<span id="L290"><span class="lineNum">     290</span>                 :<span class="tlaGNC">           3 :     DataTypes.ReserveDataLegacy memory data = POOL.getReserveData(asset);</span></span>
<span id="L291"><span class="lineNum">     291</span>                 :<span class="tlaGNC">           2 :     uint16 assetId = data.id;</span></span>
<span id="L292"><span class="lineNum">     292</span>                 :<span class="tlaGNC">           2 :     bytes32 res;</span></span>
<span id="L293"><span class="lineNum">     293</span>                 :             :     assembly {</span>
<span id="L294"><span class="lineNum">     294</span>                 :<span class="tlaGNC">           2 :       res := add(assetId, shl(16, useAsCollateral))</span></span>
<span id="L295"><span class="lineNum">     295</span>                 :             :     }</span>
<span id="L296"><span class="lineNum">     296</span>                 :<span class="tlaGNC">           2 :     return res;</span></span>
<span id="L297"><span class="lineNum">     297</span>                 :             :   }</span>
<span id="L298"><span class="lineNum">     298</span>                 :             : </span>
<span id="L299"><span class="lineNum">     299</span>                 :             :   /**</span>
<span id="L300"><span class="lineNum">     300</span>                 :             :    * @notice Encodes liquidation call parameters from standard input to compact representation of 2 bytes32</span>
<span id="L301"><span class="lineNum">     301</span>                 :             :    * @param collateralAsset The address of the underlying asset used as collateral, to receive as result of the liquidation</span>
<span id="L302"><span class="lineNum">     302</span>                 :             :    * @param debtAsset The address of the underlying borrowed asset to be repaid with the liquidation</span>
<span id="L303"><span class="lineNum">     303</span>                 :             :    * @param user The address of the borrower getting liquidated</span>
<span id="L304"><span class="lineNum">     304</span>                 :             :    * @param debtToCover The debt amount of borrowed `asset` the liquidator wants to cover</span>
<span id="L305"><span class="lineNum">     305</span>                 :             :    * @param receiveAToken True if the liquidators wants to receive the collateral aTokens, `false` if he wants</span>
<span id="L306"><span class="lineNum">     306</span>                 :             :    * to receive the underlying collateral asset directly</span>
<span id="L307"><span class="lineNum">     307</span>                 :             :    * @return First half ot compact representation of liquidation call parameters</span>
<span id="L308"><span class="lineNum">     308</span>                 :             :    * @return Second half ot compact representation of liquidation call parameters</span>
<span id="L309"><span class="lineNum">     309</span>                 :             :    */</span>
<span id="L310"><span class="lineNum">     310</span>                 :<span class="tlaGNC">           1 :   function encodeLiquidationCall(</span></span>
<span id="L311"><span class="lineNum">     311</span>                 :             :     address collateralAsset,</span>
<span id="L312"><span class="lineNum">     312</span>                 :             :     address debtAsset,</span>
<span id="L313"><span class="lineNum">     313</span>                 :             :     address user,</span>
<span id="L314"><span class="lineNum">     314</span>                 :             :     uint256 debtToCover,</span>
<span id="L315"><span class="lineNum">     315</span>                 :             :     bool receiveAToken</span>
<span id="L316"><span class="lineNum">     316</span>                 :             :   ) external view returns (bytes32, bytes32) {</span>
<span id="L317"><span class="lineNum">     317</span>                 :<span class="tlaGNC">           3 :     DataTypes.ReserveDataLegacy memory collateralData = POOL.getReserveData(collateralAsset);</span></span>
<span id="L318"><span class="lineNum">     318</span>                 :<span class="tlaGNC">           2 :     uint16 collateralAssetId = collateralData.id;</span></span>
<span id="L319"><span class="lineNum">     319</span>                 :             : </span>
<span id="L320"><span class="lineNum">     320</span>                 :<span class="tlaGNC">           3 :     DataTypes.ReserveDataLegacy memory debtData = POOL.getReserveData(debtAsset);</span></span>
<span id="L321"><span class="lineNum">     321</span>                 :<span class="tlaGNC">           2 :     uint16 debtAssetId = debtData.id;</span></span>
<span id="L322"><span class="lineNum">     322</span>                 :             : </span>
<span id="L323"><span class="lineNum">     323</span>                 :<span class="tlaGNC">           3 :     uint128 shortenedDebtToCover = debtToCover == type(uint256).max</span></span>
<span id="L324"><span class="lineNum">     324</span>                 :             :       ? type(uint128).max</span>
<span id="L325"><span class="lineNum">     325</span>                 :             :       : debtToCover.toUint128();</span>
<span id="L326"><span class="lineNum">     326</span>                 :             : </span>
<span id="L327"><span class="lineNum">     327</span>                 :<span class="tlaGNC">           2 :     bytes32 res1;</span></span>
<span id="L328"><span class="lineNum">     328</span>                 :<span class="tlaGNC">           2 :     bytes32 res2;</span></span>
<span id="L329"><span class="lineNum">     329</span>                 :             : </span>
<span id="L330"><span class="lineNum">     330</span>                 :             :     assembly {</span>
<span id="L331"><span class="lineNum">     331</span>                 :<span class="tlaGNC">           2 :       res1 := add(add(collateralAssetId, shl(16, debtAssetId)), shl(32, user))</span></span>
<span id="L332"><span class="lineNum">     332</span>                 :<span class="tlaGNC">           2 :       res2 := add(shortenedDebtToCover, shl(128, receiveAToken))</span></span>
<span id="L333"><span class="lineNum">     333</span>                 :             :     }</span>
<span id="L334"><span class="lineNum">     334</span>                 :<span class="tlaGNC">           2 :     return (res1, res2);</span></span>
<span id="L335"><span class="lineNum">     335</span>                 :             :   }</span>
<span id="L336"><span class="lineNum">     336</span>                 :             : }</span>
        </pre>
              </td>
            </tr>
          </table>
          <br>

          <table width="100%" border=0 cellspacing=0 cellpadding=0>
            <tr><td class="ruler"><img src="../../../../../../../glass.png" width=3 height=3 alt=""></td></tr>
            <tr><td class="versionInfo">Generated by: <a href="https://github.com//linux-test-project/lcov" target="_parent">LCOV version 2.0-1</a></td></tr>
          </table>
          <br>

</body>
</html>
